منابع مشابه
Higher String Topology Operations
In [1] Chas and Sullivan have defined an intersection-type product on the homology of the free loop space LM of an oriented manifold M. In this paper we show how to extend this construction to a topological conformal field theory of degree d. In particular, we get operations on H∗LM which are parameterized by the homology of the moduli space of open-closed Riemann surfaces.
متن کاملSemantics for Algebraic Operations
Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V -category C with cotensors and a strong V -monad T on C, we investigate axioms under which an ObCindexed family of operations of the form αx : (Tx) v −→ (Tx)w provides semantics for algebraic operations, which may be used to extend the usual monadic semantics of the computational λ-calculus uniformly...
متن کاملCohomology operations and algebraic geometry
This manuscript is based on a ten hours series of seminars I delivered in August of 2003 at the Nagoya Institute of Technology as part of the workshop on homotopy theory organized by Norihiko Minami and following the Kinosaki conference in honor of Goro Nishida. One of the most striking applications of homotopy theory in “exotic” contexes is Voevodsky’s proof of the Milnor Conjecture. This conj...
متن کاملAlgebraic Operations and Generic Effects
Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V-category C with cotensors and a strong V-monad T on C, we investigate axioms under which an ObCindexed family of operations of the form αx : (Tx) v −→ (Tx)w provides semantics for algebraic operations on the computational λ-calculus. We recall a definition for which we have elsewhere given adequacy r...
متن کاملEfficient Algebraic Operations on Programs
A symbolic version of an operation on values is a corresponding operation on program texts. For example, symbolic composition of two programs p, q yields a program whose meaning is the (mathematical) composition of the meanings of p and q. Another example is symbolic specialization of a function to a known first argument value. This operation, given the first argument, transforms a two-input pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: K-Theory
سال: 2007
ISSN: 1573-0514,0920-3036
DOI: 10.1007/s10977-007-9005-2